You searched for:
“ephemerides times”
ephemeris time (s), ephemerides times (pl)
The official system of mean solar time, used to calculate data for tables of changing astronomical phenomena (ephemerides).
This entry is located in the following unit:
Astronomy and related astronomical terms
(page 10)